Definition of
... Guarantees extension
Boolean indicator
Clean